Modeling and Tracing Stakeholders' Goals across Notations using RE-Tools
نویسندگان
چکیده
The ability to represent stakeholders’ goals and their operationalizations, through tasks, resources, system requirements and specifications, helps better ensure that the projected system meets its intended goals. To offer such an ability, various notations have been developed, but somewhat independently of each other, each for its own concepts and with its own tool. As a result, it is difficult to establish end-to-end traceability among the various concepts. This paper presents RE-Tools a toolkit towards an integrated modeling of such concepts, using i*, the NFR framework, KAOS and Problem Frames. RE-Tools uses a meta-model approach to representing and integrating the notations, which includes shared, generalized meta-classes and cross-notational goal achievement contribution links. This approach is intended to allow for a uniform application of the Label Propagation Procedure in determining goal achievement across the supported notations, using either the open or closed world assumption. 1 General Information Name RE-Tools[1] Version 2.0 Information http://www.utdallas.edu/~supakkul/tools/RE-Tools Frameworks i* [2], NFR Framework [3], KAOS [4], Problem Frames [5], UML Purposes Modeling and reasoning support, foundation for other tools [6] Features Integrated modeling environment, automated and integrated Label Propagation Procedure using open or closed world assumption, UML Profile-based meta-model, navigatable inmemory models, interchangeable XMI/XML file format, extension via plug-in and APIs, open-source, Windows OS supported. Status Publicly available since 2009, with around 1,300 downloads from around 65 countries to date, for use in teaching, research, and industrial practice, including Australia, Brazil, Canada, China, France, Italy, the Philippines, Spain, UK, and the US Industry use Internal use at Sabre and Pentathlon Systems Resources Proceedings of the 6th International i* Workshop (iStar 2013), CEUR Vol-978
منابع مشابه
Velocity Modeling in a Vertical Transversely Isotropic Medium Using Zelt Method
In the present paper, the Zelt algorithm has been extended for ray tracing through an anisotropic model. In anisotropic media, the direction of the propagated energy generally differs from that of the plane-wave propagation. This makes velocity values to be varied in different directions. Therefore, velocity modeling in such media is completely different from that in an isotropic media. The vel...
متن کاملTraceability Across Refinement Steps in UML Modeling
Documenting the refinement relationship between layers allows developers to verify whether the code meets its specification or not, trace the impact of changes in the business goals and execute test assertions written in terms of abstract model’s vocabulary by translating them to the concrete model’s vocabulary. Refinement has been studied in many formal notations such as Z and B and in differe...
متن کاملRequirements Analysis from Multiple Perspectives : Experiences with Conceptual Modeling
Informal, teamwork-oriented methods for requirements engineering can be strengthened by conceptual modeling tools for the analysis and interrelation of viewpoints expressed by multiple stakeholders in multiple diierent notations. Experiences gained with the meta data management system ConceptBase show that a simple but cus-tomizable meta modeling approach, combined with advanced query and view ...
متن کاملIntegrating Informal and Formal Approaches to Requirements Modeling and Analysis
The Unified Modeling Language (UML) comprises several different notations for object-oriented modeling with no formal semantics attached to the individual diagrams. We have developed a generic framework for formalizing a subset of UML diagrams in terms of various formal languages, with a focus on embedded systems. We have formalized UML in terms of Promela, thus enabling analysis of the UML dia...
متن کاملModeling organizational goals:
Organizational change, whether it involves the development of a computerized system or the re-engineering of business processes, is a purposive activity driven by the goals of the involved stakeholders. Its effectiveness depends on being able to make good decisions about what goals to pursue and on selecting the appropriate strategies for achieving the desired goals. This paper presents an anal...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013